package modelado.datos;

import java.util.Set;

import modelado.datos.elementos.Arista;
import modelado.datos.elementos.Elemento;

public interface DatosDiscretos extends Datos {
	Elemento getElemento(Integer n);

	Set<Elemento> getVertices();

	Set<Elemento> getAristas();

	Set<Elemento> getElementosConVariasInstancias();

	boolean hayArista(Elemento e1, Elemento e2);

	Arista getArista(Elemento e1, Elemento e2);

	boolean hayNodosIniciales();

	Set<Elemento> getNodosIniciales();

	boolean hayNodosFinales();

	Set<Elemento> getNodosFinales();
}
